Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
نویسندگان
چکیده
منابع مشابه
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor
We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an imperative interactive language. Progress-sensitive information-flow control is a strong information security guarantee which ensures that a program’s progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: we trac...
متن کاملPosition Paper: Static Flow-Sensitive & Context-Sensitive Information-flow Analysis for Software Product Lines
A software product line encodes a potentially large variety of software products as variants of some common code base, e.g., through the use of #ifdef statements or other forms of conditional compilation. Traditional information-flow analyses cannot cope with such constructs. Hence, to check for possibly insecure information flow in a product line, one currently has to analyze each resulting pr...
متن کاملA progress-sensitive flow-sensitive inlined information-flow control monitor (extended version)
We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an imperative interactive language. Progress-sensitive information-flow control is a strong information security guarantee which ensures that a program’s progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: our mon...
متن کاملCapturing and Manipulating Context-sensitive Program Information
Designers of context-sensitive program analyses need to take special care of the memory consumption of the analysis results. In general, they need to sacrifice accuracy to cope with restricted memory resources. We introduce χterms as a general data structure to capture and manipulate context-sensitive analysis results. A χ-term is a compact representation of arbitrary forward program analysis d...
متن کاملPrivacy-Sensitive Information Flow with JML
In today’s society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We describe an approach to addressing this problem that allows individuals to specify constraints on the way their own data is used. Our solution uses formal methods to allow developers of software that processes personal data ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Information Security
سال: 2009
ISSN: 1615-5262,1615-5270
DOI: 10.1007/s10207-009-0086-1